lambda lifting

λ移除